Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
261	Toward a structure theory of ω-regular trace languages Namit Chaturvedi Frontiers of Recognizability 29 Apr. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-30 05:42:23 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
262	Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email: Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:13:04 Systems theory Knowledge Signal processing Automata theory Models of computation Discrete mathematics Discrete system Model checking Signal Science Cybernetics Applied mathematics
263	Evolution and Dynamics of Small-World Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Network theory Connectivity Random graph Clustering coefficient Small-world network Graph Degree distribution Cellular automaton Topology Graph theory Mathematics Networks
264	Fractal Replication in Time-manipulated One-dimensional Cellular Automata Sugata Mitra Sujai Kumar Centre for Research in Cognitive Systems, NIIT Ltd., Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Dimension Sierpinski triangle Cellular automaton Rule 90 Fractal Cell Replication Chaos theory Fractals Mathematics Geometry
265	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
266	Evolutionary Search for Cellular Automata Logic Gates with Collision-Based Computing Emmanuel Sapin Larry Bull Faculty of Computing, Engineering, and Mathematical Sciences, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Theory of computation Mathematics Systems theory Reversible cellular automaton Block cellular automaton Cellular automata Cellular automaton Glider
267	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-07 08:31:54 Hybrid automaton Continuous function Complete Heyting algebra Abstraction Automata theory Mathematics Mathematical analysis
268	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
269	ICS 162 – Fall 2003 – Midterm Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-10 23:13:26 Models of computation Computer science Software engineering Regular language Deterministic finite automaton Context-free grammar Nondeterministic finite automaton Regular expression Book:Theory Of Computation Automata theory Formal languages Theoretical computer science
270	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science

UPDATE